$\forall$$x$, $y$:$\mathbb{Z}$. ($\uparrow$$x$ $\leq$z $y$) $\Leftarrow\!\Rightarrow$ ($x$ $\leq$ $y$)